В блоге у Филип(п)а Вадлера вот какой сегодня пост появился.

Рассмотрим тотальные предикаты над потоками булевых значений:

-- в этом потоке на i-ом месте ложь ( Read more... )